7. Achieving Safety and Reliability with Computer Systems
پدیدآورنده : edited by B.K. Daniels.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering.,Software engineering.,Statistics.
رده :
QA76
.
76
.
R44
E358
1987
9. Application security in the ISO 27001 environment
پدیدآورنده : Vinod, Vasudevan
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer security,Reliability ، Computer software,Computer networks Security measures Standards ، Business enterprises,Management Standards ، Computer security
رده :
QA
76
.
64
.
V56
2008
11. Computer safety, reliability and security :
پدیدآورنده : of the 15th International conference on ..., SAFECOMP'96, Vienna, Austria, 23-25 October 1996 ; ed. Erwin Schoitsch ; org. Austrian research centre Seibersdorf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
76
.
R44
O384
1997
12. Concise guide to software engineering :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Software engineering.,Software engineering.
رده :
QA76
.
758
.
O66
2017
13. Dependability and computer engineering
پدیدآورنده : Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer systems-- Reliability.,Reliability (Engineering)
14. Dependable computing for critical applications 3
پدیدآورنده : C.E. Landwehr, B. Randell, L. Simoncini, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Falhas computacionais.,Fault-tolerant computing.
رده :
QA76
.
9
.
F38
C453
1993
15. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
16. Intelligence computation and evolutionary computation :
پدیدآورنده : Zhenyu Du (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.
17. Networked Digital Technologies :
پدیدآورنده : edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
76
.
A65
I58
2010
18. SAFECOMP '93 :
پدیدآورنده : the 12th International Conference on Computer Safety, Reliability and Security. Organ. by Franco-Polsh School of New Information and Communication Technologies. Ed. by Janusz Górski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
19. Secure and resilient software :
پدیدآورنده : Mark S. Merkow, Lakshmikanth Raghavan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software-- Development.,Computer security.,Computer software-- Reliability.,Computer software-- Testing.
20. Software System Design Methods :
پدیدآورنده : edited by Jozef K. Skwirzynski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
